$\forall$${\it list}$:(Id List). cmconfig(${\it list}$) $\in$ chain\_master()